existence proof